Half a Dozen Heresies Mainly Regarding Collections, Exhibitions & Catalogues

Tubulin Folding Cofactors: Half a Dozen for a Dimer

Tubulin folding cofactors control the availability of tubulin subunits and microtubule stability in eukaryotic cells. Recent work on Arabidopsis mutants has provided a new experimental system for understanding the cellular functions of tubulin folding cofactors.

Six of one, half a dozen of the other.

Compositionality And Multiword Expressions: Six Of One, Half A Dozen Of The Other?

In this talk, I will investigate the relationship between compositionality and multiword expressions, as part of which I will outline different approaches for formalising the notion of compositionality. I will then briefly review computational methods that have been proposed for modelling compositionality, and applications thereof. Finally, I will discuss possible future directions for modellin...

A Baker's dozen.

To cite: Sheikh K, Siau K. BMJ Case Rep Published online: [please include Day Month Year] doi:10.1136/ bcr-2015-209756 DESCRIPTION A 94-year-old woman with chronic left knee osteoarthritis was referred to the deep vein thrombosis (DVT) clinic with a 2-day history of non-traumatic left calf pain and swelling, with mild restriction in knee flexion. On examination, she had focal swelling extending...

A dozen instructions make

One of the biggest obstacles in the formalisation of the Java bytecode is that the language consists of 200 instructions. However, a rigorous handling of a programming language in the context of program verification and error detection requires a formalism which is compact in size. Therefore, the actual Java bytecode instruction set is never used in the context. Instead, the existing formalisat...